$\forall$$r$:RngSig. $\div$$r$ $\in$ $\mid$$r$$\mid\rightarrow\mid$$r$$\mid\rightarrow$(?$\mid$$r$$\mid$)